Analysis of Markov Reward Models with Stochastic Petri Nets
نویسندگان
چکیده
Analysis of Markov reward models with stochastic Petri nets is presented. Generation methods and analysis of continuous-time Markov chains and Markov reward models is provided for modeling of reliability of very large systems and working out measures for their performance. Examples and numerical results for M/D/1/2/2 system are shown.
منابع مشابه
Stochastic Reward Nets for Reliability Prediction
We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs) which are SPNs augmented with the ability to specify output measures as reward-based functions, for the evaluation of reliability for complex systems. The solution of SRNs involves generation and analysis of the corresponding Markov reward model. The use of SRNs in modeling complex systems is illustrated throu...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملThird International Conference on Performance of Distributed Systems and Integrated Communication Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. 5.3.2 Non-homogeneous Ctmcs 5.2.1 Stiness Avoidance 5.2.2 Stiness Tolerance
In this tutorial, we discuss several practical issues regarding speci cation and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMs) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that ...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملAggregation Methods for Markov Reward Chains with Fast and Silent Transitions
We analyze derivation of Markov reward chains from intermediate performance models that arise from formalisms for compositional performance analysis like stochastic process algebras, (generalized) stochastic Petri nets, etc. The intermediate models are typically extensions of continuous-time Markov reward chains with instantaneous labeled transitions. We give stochastic meaning to the intermedi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005